| Ident. | Authors (with country if any) | Title |
|---|
| 000046 |
Stéphane Vialle [France] ; Sylvain Contassot-Vivier [France] ; Patrick Mercier [France] | Generic algorithmic scheme for 2D stencil applications on hybrid machines |
| 000065 |
Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France] | Closed combination of context-embedding iterative strategies |
| 000073 |
Özgür Dagdelen [Allemagne] ; David Galindo [France] ; Pascal Véron [France] ; Sidi Mohamed El Yousfi Alaoui [Allemagne] ; Pierre-Louis Cayrel [Allemagne] | Extended security arguments for signature schemes |
| 000085 |
Benjamin Camus [France] ; Virginie Galtier [France] ; Mathieu Caujolle [France] ; Vincent Chevrier [France] ; Julien Vaubourg [France] ; Laurent Ciarletta [France] ; Christine Bourjot [France] | Hybrid Co-simulation of FMUs using DEV&DESS in MECSYCO |
| 000126 |
Rohit Chadha [États-Unis] ; Vincent Cheval [France] ; Tefan Ciobâc [Roumanie, France] ; Steve Kremer [France] | Automated verification of equivalence properties of cryptographic protocols |
| 000149 |
Béatrice Brembilla-Perrot [France] ; Arnaud Olivier [France] ; Jean-Marc Sellal [France] ; Vladimir Manenti [France] ; Alice Brembilla [France] ; Thibaut Villemin [France] ; Philippe Admant [France] ; Daniel Beurrier [France] ; Erwan Bozec [France] ; Nicolas Girerd [France] | Influence of advancing age on clinical presentation, treatment efficacy and safety, and long-term outcome of pre-excitation syndromes: a retrospective cohort study of 961 patients included over a 25-year period. |
| 000184 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
| 000228 |
Jean-Marie Gauthier [France] | Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation |
| 000231 |
Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata |
| 000237 |
Houari Mahfoud [Algérie] ; Abdessamad Imine [France] | Efficient Querying of XML Data Through Arbitrary Security Views |
| 000243 |
Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France] | Towards an automatic tool for multi-scale model derivation |
| 000249 |
Olga Kouchnarenko [France] ; Jean-François Weber [France] | Practical Analysis Framework for Component Systems with Dynamic Reconfigurations |
| 000255 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | From Security Protocols to Pushdown Automata |
| 000270 |
Frédéric Dadeau [France] ; Elizabeta Fourneret [France] | Experience report on Model-Based Testing of Security Components |
| 000282 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Eric Le Morvan [France] | Secure refinements of communication channels |
| 000303 |
Jannik Dreier [France] ; Jean-Guillaume Dumas [France] ; Pascal Lafourcade [France] | Brandt's fully private auction protocol revisited |
| 000311 |
Nadir Guetmi [France] ; Abdessamad Imine [France] | A Cloud-Based Reusable Design for Mobile Data Sharing |
| 000313 |
Noam Zeilberger [France] ; Alain Giorgetti [France] | A correspondence between rooted planar maps and normal planar lambda terms |
| 000316 |
Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Unification and Matching in Hierarchical Combinations of Syntactic Theories |
| 000317 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Checking Trace Equivalence: How to Get Rid of Nonces? |
| 000318 |
Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Rewriting Approach to the Combination of Data Structures with Bridging Theories |
| 000319 |
Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France] | Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array |
| 000332 |
Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Mobile Co-Authoring of Linked Data in the Cloud |
| 000353 |
Sylvain Contassot-Vivier [France] ; Stéphane Vialle [France] | Algorithmic scheme for hybrid computing with CPU, Xeon-Phi/MIC and GPU devices on a single machine |
| 000376 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Differentially Private Publication of Social Graphs at Linear Cost |
| 000377 |
Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France] | Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data |
| 000397 |
Pierre-Cyrille Heam [France] ; Jean-Luc Joly [France] | On the Uniform Random Generation of Non Deterministic Automata Up to Isomorphism |
| 000398 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | Efficient and Decentralized Polling Protocol for General Social Networks |
| 000399 |
Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France] | Random Generation and Enumeration of Accessible Determinisitic Real-time Pushdown Automata |
| 000416 |
Didier Fass [France] ; Franck Gechter [France] | Towards a Theory for Bio - Cyber Physical Systems Modelling |
| 000420 |
Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Parametrized automata simulation and application to service composition |
| 000425 |
Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
| 000445 |
Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] | Resilient Collaboration for Mobile Cloud Computing |
| 000462 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Decidability of trace equivalence for protocols with nonces |
| 000467 |
Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Boris Deneuville [France] ; Olivier Chilard [France] | Simulation de smart grids avec MECSYCO |
| 000505 |
Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Christine Bourjot [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Hugo Morais [France] ; Boris Deneuville [France] ; Olivier Chilard [France] | Smart Grids Simulation with MECSYCO |
| 000506 |
Julien Vaubourg [France] ; Yannick Presse [France] ; Benjamin Camus [France] ; Christine Bourjot [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] ; Jean-Philippe Tavella [France] ; Hugo Morais [France] | Multi-agent Multi-Model Simulation of Smart Grids in the MS4SG Project |
| 000530 |
Moulay Driss Mechaoui [Algérie] ; Nadir Guetmi [France] ; Abdessamad Imine [France] | Towards Real-Time Co-authoring of Linked-Data on the Web |
| 000558 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; David Galindo [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | A comprehensive analysis of game-based ballot privacy definitions |
| 000559 |
Frédéric Dadeau [France] ; Pascale Le Gall [France] | Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels |
| 000585 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Anonymizing Social Graphs via Uncertainty Semantics |
| 000587 |
Nadir Guetmi [France] ; Moulay Driss Mechaoui [Algérie] ; Abdessamad Imine [France] ; Ladjel Bellatreche [France] | Mobile collaboration: a collaborative editing service in the cloud |
| 000590 |
Véronique Cortier [France] ; Fabienne Eigner [Allemagne] ; Steve Kremer [France] ; Matteo Maffei [Allemagne] ; Cyrille Wiedling [Belgique] | Type-Based Verification of Electronic Voting Protocols |
| 000596 |
Vincent Cheval [France] ; Véronique Cortier [France] | Timing attacks in security protocols: symbolic framework and proof techniques |
| 000622 |
Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A rule-based system for automatic decidability and combinability |
| 000637 |
Hoang Bao Thien [France] | On the Polling Problem for Decentralized Social Networks |
| 000639 |
Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada] | On Synthesizing a Consistent Operational Transformation Approach |
| 000659 |
Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France] | Gagnez sur tous les tableaux |
| 000661 |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis |
| 000668 |
Thibault Maillot [France] ; Ugo Boscain [France] ; Jean-Paul Gauthier [France] ; Ulysse Serres [France] | Lyapunov and Minimum-Time Path Planning for Drones |
| 000669 |
Véronique Cortier [France] | Formal verification of e-voting: solutions and challenges |
| 000679 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France] | Tooled Process for Early Validation of SysML Models using Modelica Simulation |
| 000693 |
Jannik Dreier [France] ; Cristian Ene [France] ; Pascal Lafourcade [France] ; Yassine Lakhnech [France] | On the existence and decidability of unique decompositions of processes in the applied π-calculus |
| 000722 |
Bruno Scherrer [France] ; Mohammad Ghavamzadeh [France] ; Victor Gabillon [France] ; Boris Lesner [France] ; Matthieu Geist [France] | Approximate Modified Policy Iteration and its Application to the Game of Tetris |
| 000790 |
Richard Genestier [France] ; Alain Giorgetti [France] ; Guillaume Petiot [France] | Sequential generation of structured arrays and its deductive verification |
| 000805 |
Fabrice Bouquet [France] ; Sébastien Chipeaux [France] ; Christophe Lang [France] ; Nicolas Marilleau [France] ; Jean-Marc Nicod [France] ; Patrick Taillandier [France] | Introduction à l'approche agent |
| 000806 |
Fabrice Bouquet [France] ; David Sheeren [France] ; Nicolas Becu [France] ; Benoit Gaudou [France] ; Christophe Lang [France] ; Nicolas Marilleau [France] ; Claude Monteil [France] | Formalismes de description des modèles agent |
| 000817 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Fabien Peureux [France] ; Hammed Ahmad [France] | A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing |
| 000818 |
Asma Cherif [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Practical access control management for distributed collaborative editors |
| 000851 |
Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard |
| 000852 |
Pierre-Cyrille Héam [France] ; Jean-Luc Joly [France] | On the Uniform Random Generation of Determinisitic Partially Ordered Automata using Monte Carlo Techniques |
| 000862 |
Alexandre Vernotte [France] ; Frédéric Dadeau [France] ; Franck Lebeau [France] ; Bruno Legeard [France] ; Fabien Peureux [France] ; François Piat [France] | Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities |
| 000863 |
Maxime Bride [France] ; Pierre-Cyrille Héam [France] ; Isabelle Jacques [France] | Computing Semicommutation Closures: a Machine Learning Approach |
| 000875 |
Cyrille Wiedling [France] | Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs |
| 000885 |
Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | A Symbolic Transformation Language and its Application to a Multiscale Method |
| 000888 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | A Maximum Variance Approach for Graph Anonymization |
| 000900 |
Aloïs Dreyfus [France] | Contribution to the efficient model-based verification andtesting |
| 000936 |
Bruno Scherrer [France] ; Matthieu Geist [France] | Local Policy Search in a Convex Space and Conservative Policy Iteration as Boosted Policy Search |
| 000951 |
Véronique Cortier [France] ; Steve Kremer [France] | Formal Models and Techniques for Analyzing Security Protocols: A Tutorial |
| 000960 |
Hadrien Bride [France] ; Olga Kouchnarenko [France] ; Fabien Peureux [France] | Verifying Modal Workflow Specifications Using Constraint Solving |
| 000961 |
Ivan Enderlin [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] | Praspel: Contract-Driven Testing for PHP using Realistic Domains |
| 000980 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Typing messages for free in security protocols: the~case of equivalence properties |
| 000981 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | Election Verifiability for Helios under Weaker Trust Assumptions |
| 000A04 |
Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France] | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis |
| 000A20 |
Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | How Test Generation Helps Software Specification and Deductive Verification in Frama-C |
| 000A31 |
Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
| 000A32 |
Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
| 000A35 |
Michaël Rusinowitch [France] | Automated Verification of Security Protocols and Services |
| 000A38 |
Ivan Enderlin [France] | Automated Unit Test Generation with Praspel, a Specification Language for PHP |
| 000A42 |
Ahmed Hammad [France] ; Fabrice Bouquet [France] ; Jean-Marie Gauthier [France] ; Dominique Gendreau [France] | Modeling and simulation of modular complex system: Application to air-jet conveyor |
| 000A67 |
Véronique Cortier [France] | Electronic Voting: How Logic Can Help |
| 000A69 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France] | A tool for automating the computationally complete symbolic attacker (Extended Abstract) |
| 000A70 |
Elizabeta Fourneret [France] ; Jérome Cantenot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Julien Botella [France] | SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models |
| 000A95 |
Myrto Arapinis [Royaume-Uni] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Dynamic Tags for Security Protocols |
| 000B01 |
Jose Antonio Martin [Espagne] ; Fabio Martinelli [Italie] ; Ilaria Matteucci [Italie] ; Ernesto Pimentel [Espagne] ; Mathieu Turuani [France] | On the Synthesis of Secure Services Composition |
| 000B17 |
Alain Lelu [France] ; Azim Roussanaly [France] | Espaces intrinsèques des relations entre mots : une exploration multi-échelle. |
| 000B37 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Typing messages for free in security protocols: the case of equivalence properties |
| 000B39 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | Election Verifiability for Helios under Weaker Trust Assumptions |
| 000B57 |
Steve Kremer [France] ; Robert Künnemann [France] | Automated Analysis of Security Protocols with Global State |
| 000B58 |
Jens Gustedt [France] ; Stéphane Vialle [France] ; Patrick Mercier [France] | Resource Centered Computing delivering high parallel performance |
| 000B59 |
Guillaume Petiot [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | StaDy: Deep Integration of Static and Dynamic Analysis in Frama-C |
| 000B67 |
Bruno Scherrer [France] ; Matthieu Geist [France] | Quand l'optimalité locale implique une garantie globale : recherche locale de politique dans un espace convexe et algorithme d'itération sur les politiques conservatif vu comme une montée de gradient fonctionnel |
| 000B97 |
David Galindo [France] | Compact hierarchical identity-based encryption based on a harder decisional problem |
| 000C07 |
Arnaud Lanoix [France] ; Olga Kouchnarenko [France] | Component Substitution through Dynamic Reconfigurations |
| 000C15 |
Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Jacques Julliand [France] | Coverage Criteria for Model-Based Testing using Property Patterns |
| 000C18 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | On Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 000C22 |
David Galindo [France] ; Srinivas Vivek [Luxembourg (pays)] | Limits of a conjecture on a leakage-resilient cryptosystem |
| 000C34 |
Ghazi Maatoug [France] ; Frédéric Dadeau [France] ; Michael Rusinowitch [France] | Model-Based Vulnerability Testing of Payment Protocol Implementations |
| 000C35 |
Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
| 000C53 |
Steve Kremer [France] ; Robert Künnemann [Allemagne] | Automated analysis of security protocols with global state |
| 000C59 |
Laurent Ciarletta [France] ; Leilani Gilpin [États-Unis] ; Yannick Presse [France] ; Vincent Chevrier [France] ; Virginie Galtier [France] | Co-simulation Solution using AA4MM-FMI applied to Smart Space Heating Models |
| 000C69 |
Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Enforcing Privacy in Decentralized Mobile Social Networks |
| 000C75 |
Houari Mahfoud [France] | Efficient Access Control to XML Data: Querying and Updating Problems |
| 000C83 |
Alain Lelu [France] | Jean-Baptiste Estoup and the origins of Zipf's law: a stenographer with a scientific mind (1868-1950) |
| 000C88 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 000D08 |
Bin Yang [France] ; Walid Belkhir [France] ; Michel Lenczner [France] | Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework |
| 000D26 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining |
| 000D31 |
Jérome Cantenot [France] ; Fabrice Ambert [France] ; Fabrice Bouquet [France] | Test generation with SMT solvers in Model Based Testing |
| 000D42 |
Martin Abadi [États-Unis] ; Steve Kremer [France] | Principles of Security and Trust |
| 000D51 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Modeling and Verifying Ad Hoc Routing Protocols |
| 000D52 |
Fabrice Bouquet [France] ; Fabien Peureux [France] ; Fabrice Ambert [France] | Model-Based Testing for Functional and Security Test Generation |
| 000D86 |
Aloïs Dreyfus [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France] | A random testing approach using pushdown automata |
| 000D90 |
Véronique Cortier [France] ; Graham Steel [France] | A Generic Security API for Symmetric Key Management on Cryptographic Devices |
| 000E19 |
Wahiba Ramdane Cherif-Khettaf [France] ; Mais Haj Rachid ; Christelle Bloch [France] ; Pascal Chatonnay [France] | New Notation and Classification Scheme for Vehicle Routing Problems |
| 000E30 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | Versatile, scalable, and accurate simulation of distributed applications and platforms |
| 000E77 |
Olga Kouchnarenko [France] ; Jean-Francois Weber [France] | Decentralised Evaluation of Temporal Patterns over Component-based Systems at Runtime |
| 000E96 |
David Galindo [France] ; Srinivas Vivek | A Leakage-Resilient Pairing-Based Variant of the Schnorr Signature Scheme |
| 000F17 |
Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Catherine Masson [France] | A Random Testing Approach Using Pushdown Automata |
| 000F24 |
Kalou Cabrera Castillos [France] | Automated test scenario generation from termporal properties and behavioural models |
| 000F25 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | On Constrained Adding Friends in Social Networks |
| 000F28 |
Michael Rusinowitch [France] | Automated verification of security protocols and application to services |
| 000F38 |
Jérome Cantenot [France] | Strategy for test generation from UML/OCL models with a first order logic and constraints system solvers for model interpretation |
| 000F47 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | Distributed ElGamal à la Pedersen - Application to Helios |
| 000F48 |
Florian Boehl [Allemagne] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | Deduction Soundness: Prove One, Get Five for Free |
| 000F52 |
David Galindo [France] | A note on an IND-CCA2 secure Paillier-based cryptosystem |
| 000F61 |
Olga Kouchnarenko [France] ; Jean-Francois Weber [France] | Adapting Component-based Systems at Runtime via Policies with Temporal Patterns |
| 000F63 |
Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Guarded Variable Automata over Infinite Alphabets |
| 000F64 |
Matthieu Geist [France] ; Edouard Klein [France] ; Bilal Piot [France] ; Yann Guermeur [France] ; Olivier Pietquin [France] | Around Inverse Reinforcement Learning and Score-based Classification |
| 000F66 |
Alain Lelu [France] ; Michel Zitt [France] ; Elise Bassecoulard [France] | Robustesse des classements bibliométriques, à travers la convergence des thèmes obtenus par citations et lexiques : une méthode hybride pour une représentation mixte |
| 000F96 |
Houari Mahfoud [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | SVMAX: a system for secure and valid manipulation of XML data |
| 001009 |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero Alejandro | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors |
| 001015 |
Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Fresh-Variable Automata for Service Composition |
| 001031 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems |
| 001040 |
Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni] | Frontiers of Combining Systems |
| 001057 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Particle Swarm Optimisation of Spoken Dialogue System Strategies |
| 001066 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Model-free POMDP optimisation of tutoring systems with echo-state networks |
| 001094 |
Elena Tushkanova [France] | Schematic calculi for the analysis of decision procedures |
| 001097 |
Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Enhancing Approximations for Regular Reachability Analysis |
| 001102 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Antoine Plet [France] | Lengths may break privacy -- or how to check for equivalences with length |
| 001108 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | From security protocols to pushdown automata |
| 001119 |
Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France] | Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing |
| 001123 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Optimisation par essaims particulaires de stratégies de dialogue |
| 001140 |
Florent Jacquemard [France] ; Michaël Rusinowitch [France] | Unranked tree rewriting and effective closures of languages |
| 001141 |
Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination of Unification Algorithms |
| 001151 |
Laurent Ciarletta [France] ; Virginie Galtier [France] ; Adrien Guenard [France] ; Yannick Presse [France] | Using a flock of UAVs as a CPS and platform for application-driven research |
| 001153 |
Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability: A Schematic Calculus for Theories with Counting Operators |
| 001168 |
Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] ; Bilal Kanso [France] | A Compositional Automata-based Semantics for Property Patterns |
| 001171 |
Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories with Counting Operators |
| 001173 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France] | Tractable inference systems: an extension with a deducibility predicate |
| 001220 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Random Projections: a Remedy for Overfitting Issues in Time Series Prediction with Echo State Networks |
| 001241 |
Rémy Chrétien [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | From security protocols to pushdown automata |
| 001257 |
Laurent Vigneron [France] | Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis |
| 001260 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite Closure and CF Hedge Automata |
| 001262 |
Abdessamad Imine [France] ; Michael Rusinowitch [France] | Secure Collaboration for Smartphones |
| 001270 |
Ivan Enderlin [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France] | A Constraint Solver for PHP Arrays |
| 001276 |
Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Yves Ledru [France] ; Taha Triki [France] ; German Vega [France] ; Julien Botella ; Safouan Taha [France] | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool |
| 001277 |
Alois Dreyfus [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Random Grammar-based Testing for Covering All Non-Terminals |
| 001278 |
Myrto Arapinis [Royaume-Uni] ; Véronique Cortier [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Practical Everlasting Privacy |
| 001295 |
Alain Lelu [France] ; Martine Cadot [France] | A Proposition for Fixing the Dimensionality of a Laplacian Low-rank Approximation of any Binary Data-matrix |
| 001300 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France] | Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS |
| 001335 |
Bruno Zanuttini [France] ; Guillaume J. Laurent [France] ; Olivier Buffet [France] | Apprentissage par renforcement et planification adaptative - Revue d'Intelligence Artificielle |
| 001344 |
Mathieu Baudet [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | YAPA: A generic tool for computing intruder knowledge |
| 001376 |
Vincent Cheval [Royaume-Uni] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding equivalence-based properties using constraint solving |
| 001378 |
Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] ; Mark D. Ryan [Royaume-Uni] | Composition of Password-based Protocols |
| 001386 |
Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
| 001635 |
Richard Giot [France] ; Albert Giraud [France] ; Christophe Auvray [France] | Assessing the Permeability in Anisotropic and Weakly Permeable Porous Rocks Using Radial Pulse Tests |
| 001786 |
Véronique Cortier [France] ; David Galindo [France] ; Stephane Glondu [France] ; Malika Izabachène [France] | A generic construction for voting correctness at minimum cost - Application to Helios |
| 001796 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
| 001799 |
Hatem Ghabri ; Ghazi Maatoug [France] ; Michael Rusinowitch [France] | Compiling symbolic attacks to protocol implementation tests |
| 001835 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Senthilkumar Chandramohan [France] ; Olivier Pietquin [France] | A Comprehensive Reinforcement Learning Framework for Dialogue Management Optimisation |
| 001842 |
Asma Cherif [France] | Access Control Models for Collaborative Applications |
| 001849 |
Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Bruno Legeard [France] ; Fabien Peureux [France] | Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports |
| 001850 |
Florent Jacquemard [France] ; Michaël Rusinowitch [France] | Rewrite Closure and CF Hedge Automata |
| 001863 |
Alain Lelu [France] | Hommage : Roland Moreno (1945-2012) |
| 001873 |
Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories Modulo Integer Offsets |
| 001882 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
| 001883 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | On Securely Manipulating XML Data |
| 001891 |
Marie Lefevre [France] ; Valentin Butoianu [France] ; Philippe Daubias [France] ; Lucie Daubigney [France] ; Françoise Greffier [France] ; Nathalie Guin [France] ; Stéphanie Jean-Daubias [France] ; Réjane Monod-Ansaldi [France] ; Hélène Terrat [France] | Personnalisation de l'apprentissage : confrontation entre besoins et approches. |
| 001893 |
Tigran Avanesov [Luxembourg (pays)] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Towards the Orchestration of Secured Services under Non-disclosure Policies. |
| 001925 |
Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
| 001926 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Bogdan Warinschi [Royaume-Uni] | Measuring Vote Privacy, Revisited. |
| 001959 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and overloops for Tree Walking Automata |
| 001969 |
Hoang Bao Thien [France] ; Abdessamad Imine [France] | On the Polling Problem for Social Networks |
| 001986 |
Aurel Randolph ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Quintero Alejandro | On Consistency of Operational Transformation Approach |
| 001A07 |
Véronique Cortier [France] ; Graham Steel [France] ; Cyrille Wiedling [France] | Revoke and Let Live: A Secure Key Revocation API for Cryptographic Devices |
| 001A17 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Intruder deducibility constraints with negation. Decidability and application to secured service compositions. |
| 001A18 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | On Positive TAGED with a Bounded Number of Constraints |
| 001A51 |
Alain Lelu [France] | Disciplinés et indisciplinés dans les débuts de la télématique |
| 001A52 |
Stéphanie Delaune [France] ; Steve Kremer [France] ; Daniel Pasaila [Canada] | Security protocols, constraint systems, and group theories |
| 001A53 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
| 001A56 |
Siva Anantharaman [France] ; Serdar Erbatur [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Synchronous Distributivity |
| 001A58 |
Matthieu Geist [France] ; Bruno Scherrer [France] ; Alessandro Lazaric [France] ; Mohammad Ghavamzadeh [France] | A Dantzig Selector Approach to Temporal Difference Learning |
| 001A62 |
Alain Giorgetti [France] ; Valerio Senni [Italie] | Specification and Validation of Algorithms Generating Planar Lehman Words |
| 001A91 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Optimisation d'un tuteur intelligent à partir d'un jeu de données fixé |
| 001A98 |
Mohamed Embarki [France] ; Slim Ouni [France] ; Fathi Salam [France] | Speech clarity and coarticulatory effects in standard and dialectal Arabic |
| 001B15 |
Edouard Klein [France] ; Bilal Piot [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Classification structurée pour l'apprentissage par renforcement inverse |
| 001B20 |
Matthieu Geist [France] ; Bruno Scherrer [France] ; Alessandro Lazaric [France] ; Mohammad Ghavamzadeh [France] | Un sélecteur de Dantzig pour l'apprentissage par différences temporelles |
| 001B24 |
Bruno Scherrer [France] ; Victor Gabillon [France] ; Mohammad Ghavamzadeh [France] ; Matthieu Geist [France] | Approximations de l'Algorithme Itérations sur les Politiques Modifié |
| 001B31 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Updating XML Data |
| 001B64 |
Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Fabrice Bouquet [France] | Grammar-Based Testing using Realistic Domains in PHP |
| 001B68 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure querying of recursive XML views: a standard xpath-based technique |
| 001B76 |
Steve Kremer [France] ; Robert Kunnemann [France] ; Graham Steel [France] | Universally Composable Key-Management |
| 001B80 |
Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France] | Transformation of SysML structure diagrams to VHDL-AMS |
| 001B81 |
B. Yang [France] ; W. Belkhir [France] ; R. N. Dhara [France] ; A. Giorgetti [France] ; M. Lenczner [France] | Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures |
| 001B93 |
Omar Chebaro [France] ; Nikola I Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | Program Slicing Enhances a Verification Technique Combining Static and Dynamic Analysis |
| 001B96 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Off-policy Learning in Large-scale POMDP-based Dialogue Systems |
| 001B97 |
Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie] | The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures |
| 001B98 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Guillaume Scerri [France] | Security proof with dishonest keys |
| 001B99 |
Taha Triki [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Frédéric Dadeau [France] ; Julien Botella | Model-Based Filtering of Combinatorial Test Suites |
| 001C00 |
Véronique Cortier [France] ; Jan Degrieck [France] ; Stéphanie Delaune [France] | Analysing routing protocols: four nodes topologies are sufficient |
| 001C01 |
Véronique Cortier [France] ; Cyrille Wiedling [France] | A formal analysis of the Norwegian E-voting protocol |
| 001C02 |
Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A Rule-Based Framework for Building Superposition-Based Decision Procedures |
| 001C14 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Unification modulo Chaining |
| 001C20 |
Frédéric Dadeau [France] ; Kalou Cabrera Castillos [France] ; Régis Tissot [France] | Scenario-Based Testing using Symbolic Animation of B Models |
| 001C23 |
Yannick Chevalier [France] ; Mounira Kourjieh [France] | Automated Synthesis of a Finite Complexity Ordering for Saturation |
| 001C43 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | A General Approach for Securely Querying and Updating XML Data |
| 001C49 |
Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Martin Ochoa [Allemagne] ; Jan Jürjens [Allemagne] ; Sven Wenzel [Allemagne] | Vérification et Test pour des systèmes évolutifs |
| 001C55 |
Lucie Daubigney [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Apprentissage off-policy appliqué à un système de dialogue basé sur les PDMPO |
| 001C64 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | String rewriting and security analysis: an extension of a result of Book and Otto |
| 001C66 |
Steve Kremer [France] ; Antoine Mercier [France] ; Ralf Treinen [France] | Reducing Equational Theories for the Decision of Static Equivalence |
| 001C68 |
Lionel Droz-Bartholet [France] ; Jean-Christophe Lapayre [France] ; Fabrice Bouquet [France] ; Eric Garcia [France] ; Alexander Heinisch [France] | Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems |
| 001C97 |
Rohit Chadha [États-Unis] ; Vincent Cheval [Royaume-Uni] ; Stefan Ciobaca [Roumanie] ; Steve Kremer [France] | Automated Verification of Equivalence Properties of Cryptographic Protocols |
| 001D39 |
T. Desmettre [France] ; J. Jenvrin [France] ; M. Freysz [France] ; L. Nace [France] ; M. Puyraveau [France] ; F. Berthier [France] ; P. Dreyfus [France] ; M. H. Philippe [France] ; J. M. Labourey [France] ; G. Capellier [France] | Prescription médicamenteuse téléphonique effectuée par les médecins régulateurs généralistes au centre 15 (étude PMT3) |
| 001D64 |
Fabienne Picard [France] ; Nathalie Rodet-Kroichvili [France] | Entreprises industrielles et sociétés de services aux entreprises : une proximité physique est-elle nécessaire ? |
| 001E37 |
Juliette Piard [France] ; Alain Verloes [France] ; Hélène Cavé [France] ; Michel Peuchmaur [France] ; Selim Bennaceur [France] ; Bruno Leheup [France] | Extensive abdominal lipomatosis in a patient with Noonan/LEOPARD syndrome (Noonan syndrome–Multiple Lentigines) |
| 001F00 |
Taha Triki [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Frédéric Dadeau [France] ; Julien Botella [France] | Nouveaux mécanismes de filtrage de tests basés sur le modèle |
| 001F13 |
Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David Rouillard | TASCCC - Project and Testing Tool (poster and demo) |
| 001F23 |
Marc Sauget [France] ; Sylvain Contassot-Vivier [France] ; Michel Salomon [France] | Parallelization of neural network building and training: an original decomposition method |
| 001F53 |
Mohammed Anis Mekki [France] | Automatic synthesis of secured web services |
| 001F54 |
Edouard Klein [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Reducing the dimentionality of the reward space in the Inverse Reinforcement Learning problem |
| 001F58 |
Mohamed Embarki [France] ; Slim Ouni [France] ; Christian Guilleminot ; Mohamed Yeou ; Sallal Al Maqtari | Acoustic and electromagnetic articulographic study of pharyngealisation |
| 001F63 |
Houari Mahfoud [France] ; Abdessamad Imine [France] | Secure Querying of Recursive XML Views: A Standard XPath-based Technique |
| 001F83 |
Asma Cherif [France] ; Abdessamad Imine [France] | On the Undoability Problem in Distributed Collaborative Applications |
| 001F99 |
Fabrice Bouquet [France] ; Bruno Legeard [France] ; Natacha Pickaert | Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test |
| 002002 |
Mumtaz Ahmad [France] | Memory optimization strategies for linear mappings and indexation-based shared documents |
| 002003 |
Laurent Vigneron [France] | Automated Deduction applied to the Analysis and Verification of Infinite State Systems |
| 002014 |
Ivan Enderlin [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] ; Abdallah Ben Othman [France] | Praspel: A Specification Language for Contract-Based Testing in PHP |
| 002015 |
Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] ; Safouan Taha [France] | Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests |
| 002026 |
Véronique Cortier [France] ; Cyrille Wiedling [France] | A formal analysis of the Norwegian e-voting protocol |
| 002032 |
Fabio Massacci [Italie] ; Fabrice Bouquet [France] ; Elizabeta Fourneret [France] ; Jan Jurjens [Allemagne] ; Mass Lund [Norvège] ; Sébastien Madelénat [France] ; Jantobias Muehlberg [Belgique] ; Federica Paci [Italie] ; Stéphane Paul [France] ; Frank Piessens [Belgique] ; Bjornar Solhaug [Norvège] ; Sven Wenzel [Allemagne] | Orchestrating Security and System Engineering for Evolving Systems |
| 002046 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | A Composable Computational Soundness Notion |
| 002057 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | From Linear Temporal Logic Properties to Rewrite Propositions |
| 002111 |
Tigran Avanesov [France] | Resolution of constraint systems for automatic composition of security-aware Web Services |
| 002119 |
Elizabeta Fourneret [France] ; Fabrice Bouquet [France] | UML/OCL based impact analysis to test evolving critical software |
| 002120 |
Marc Sauget [France] ; Julien Henriet [France] ; Michel Salomon [France] ; Sylvain Contassot-Vivier [France] | Large datasets: a mixed method to adapt and improve their learning by neural networks used in regression contexts |
| 002122 |
Roméo Courbis [France] | Contributions à l'analyse de systèmes par approximation d'ensembles réguliers |
| 002123 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Web Services Verification and Prudent Implementation |
| 002127 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Distributed Orchestration of Web Services under Security Constraints |
| 002128 |
Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components |
| 002132 |
David Bernhard [Royaume-Uni] ; Véronique Cortier [France] ; Olivier Pereira [Belgique] ; Ben Smyth [France] ; Bogdan Warinschi [Royaume-Uni] | Adapting Helios for provable ballot secrecy |
| 002141 |
Edouard Klein [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Batch, Off-policy and Model-free Apprenticeship Learning |
| 002153 |
Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Unification modulo Block Chaining |
| 002157 |
Frédéric Dadeau [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; Régis Tissot [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France] | Test Generation using Symbolic Animation of Models |
| 002186 |
Elizabeta Fourneret [France] ; Martin Ochoa [Allemagne] ; Fabrice Bouquet [France] ; Julien Botella [France] ; Jan Jürjens [Allemagne] ; Parvaneh Yousefi [Allemagne] | Model-Based Security Verification and Testing for Smart-cards |
| 002188 |
Mohamed Embarki [France] ; Slim Ouni [France] ; Fathi Salam | Speech clarity and coarticulation in Modern standard Arabic and Dialectal Arabic |
| 002192 |
Mathilde Arnaud ; Véronique Cortier [France] ; Stéphanie Delaune | Deciding security for protocols with recursive tests |
| 002219 |
Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations over Two-Dimensional On-Line Tessellation Automata |
| 002223 |
Jonathan Lasalle [France] ; Fabien Peureux [France] ; Jérôme Guillet [France] | Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems |
| 002230 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Loops and Overloops for Tree Walking Automata |
| 002240 |
Jagdish Prasad Achara [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks |
| 002256 |
Omar Chebaro [France] ; Nikolai Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging |
| 002257 |
Pierre-Cyrille Heam [France] ; Catherine Masson [France] | A Random Testing Approach Using Pushdown Automata |
| 002259 |
Véronique Cortier [France] ; Bogdan Warinschi | A composable computational soundness notion (Abstract) |
| 002266 |
Jean-Charles Lamirel [France] ; Raghvendra Mall [Inde] ; M. Ahmad [France] | Comparative behaviour of recent incremental and non-incremental clustering methods on text: an extended study |
| 002269 |
Véronique Cortier [France] ; Ben Smyth | Attacking and fixing Helios: An analysis of ballot secrecy |
| 002281 |
Edouard Klein [France] ; Matthieu Geist [France] ; Olivier Pietquin [France] | Apprentissage par imitation dans un cadre batch, off-policy et sans modèle |
| 002288 |
Jonathan Lasalle [France] ; Fabien Peureux [France] ; Frédéric Fondement [France] | Development of an automated MBT toolchain from UML/SysML models |
| 002316 |
Ben Smyth [France] ; Véronique Cortier [France] | A note on replay attacks that violate privacy in electronic voting schemes |
| 002333 |
Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy AC-Pattern Matching for Rewriting |
| 002335 |
Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy Rewriting Modulo Associativity and Commutativity |
| 002397 |
Arnaud Lanoix [France] ; Julien Dormoy [France] ; Olga Kouchnarenko [France] | Combining Proof and Model-checking to Validate Reconfigurable Architectures |
| 002411 |
Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Rafik Kheddam [France] | Mutation-Based Test Generation from Security Protocols in HLPSL |
| 002412 |
Elizabeta Fourneret [France] ; Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Stéphane Debricon [France] | Selective Test Generation Method for Evolving Critical Systems |
| 002413 |
Pierre-Cyrille Héam [France] ; Cyril Nicaud [France] | Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing |
| 002414 |
Kalou Cabrera Castillos [France] ; Julien Botella [France] | Scenario Based Test Generation Using Test Designer |
| 002415 |
Asma Cherif [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Optimistic access control for distributed collaborative editors |
| 002416 |
Frédéric Dadeau [France] ; Fabien Peureux [France] | Grey-Box Testing and Verification of Java/JML |
| 002426 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones. |
| 002445 |
Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Jacques Julliand [France] | Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance |
| 002456 |
Sahbi Sidhom [France] ; Philippe Lambert [France] | "Information Design" for "Weak Signal" detection and processing in Economic Intelligence: case study on Health resources |
| 002473 |
Jean-Charles Lamirel [France] ; Raghvendra Mall [Inde] ; M. Ahmad [France] | Comportement comparatif des méthodes de clustering incrémentales et non incrémentales sur les données textuelles hétérogènes |
| 002477 |
Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | Rewriting and Symbolic Transformations for Multiscale Methods |
| 002496 |
Jonathan Lasalle [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Fabien Peureux [France] | SysML to UML model transformation for test generation purpose |
| 002505 |
Konstantinos Chatzikokolakis [France] ; Véronique Cortier [France] | Proceedings of the 8th International Workshop on Security Issues in Concurrency |
| 002507 |
Pascal Cuxac [France] ; Alain Lelu [France] ; Martine Cadot [France] | Paving the way for next generation data-stream clustering: towards a unique and statistically valid cluster structure at any time step |
| 002508 |
Pierre-Cyrille Heam [France] | On the Complexity of Computing the Profinite Closure of a Rational Language |
| 002530 |
Véronique Cortier [France] ; Jérémie Detrey [France] ; Pierrick Gaudry [France] ; Frédéric Sur [France] ; Emmanuel Thomé [France] ; Mathieu Turuani [France] ; Paul Zimmermann [France] | Ballot stuffing in a postal voting system |
| 002606 |
Cindy Cappelle [France] ; Maan E. El Najjar [France] ; François Charpillet [France] ; Denis Pomorski [France] | Virtual 3D City Model for Navigation in Urban Areas |
| 002627 |
P. Agarwal [France] ; M. Kaytoue [France] ; S. O. Kuznetsov [Russie] ; A. Napoli [France] ; G. Polaillon [France] | Symbolic Galois Lattices with Pattern Structures |
| 002672 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Arnaud Giersch [France] | Load Balancing in Dynamic Networks by Bounded Delays Asynchronous Diffusion |
| 002688 |
Michel Zitt [France] ; Alain Lelu [France] ; Elise Bassecoulard [France] | Hybrid citation‐word representations in science mapping: Portolan charts of research fields? |
| 002748 |
Mehdi Kaytoue [France] ; Sergei O. Kuznetsov [Russie] ; Amedeo Napoli [France] | Biclustering Numerical Data in Formal Concept Analysis |
| 002797 |
Alain Lelu [France] ; Martine Cadot [France] | Espace intrinsèque d'un graphe et recherche de communautés |
| 002848 |
Véronique Cortier [France] ; Steve Kremer [France] | Formal Models and Techniques for Analyzing Security Protocols |
| 002943 |
Jean-Pierre Jacquot [France] ; Régine Laleau [France] ; Hassan Mountassir [France] ; Vincent Poirriez [France] | Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles |
| 002947 |
Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Orchestration under Security Constraints |
| 002970 |
Philippe Lambert [France] ; Sahbi Sidhom [France] | Vers le "Design d'information" pour valoriser les résultats d'une veille sur les maladies chroniques |
| 002972 |
Ryma Abassi [Tunisie] ; Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Sihem Guemara El Fatmi [Tunisie] | XML Access Control: from XACML to Annotated Schemas |
| 002977 |
Pierre-Cyrille Heam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | Random Generation of Positive TAGEDs wrt. the Emptiness Problem |
| 002A20 |
Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Using Temporal Logic for Dynamic Reconfigurations of Components |
| 002A25 |
Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
| 002A26 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Satisfiability of General Intruder Constraints with a Set Constructor |
| 002A30 |
Moulay Driss Mechaoui ; Asma Cherif [France] ; Abdessamad Imine [France] ; Fatima Bendella | Log Garbage Collector-based Real Time Collaborative Editor for Mobile Devices |
| 002A32 |
Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France] | A Constraint-based Approach to Web Services Provisioning |
| 002A48 |
Gérard Cécé [France] ; Alain Giorgetti [France] | Simulations for a Class of Two-Dimensional Automata |
| 002A82 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Pascal Chatonnay [France] ; Christelle Bloch [France] | Comparing the performance of genetic operators for the vehicle routing problem |
| 002A85 |
Abdessamad Imine [France] | On Coordinating Collaborative Objects |
| 002A94 |
Adrien De Kermadec [France] ; Frédéric Dadeau [France] ; Fabrice Bouquet [France] | Assessing the Quality of B Models |
| 002B06 |
Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michael Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
| 002B57 |
Alain Giorgetti [France] | Guessing a Conjecture in Enumerative Combinatorics and Proving It with a Computer Algebra System |
| 002B58 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite-Based Verification of XML Updates |
| 002C02 |
Pierre-Christophe Bué [France] ; Frédéric Dadeau [France] ; Adrien De Kermadec [France] ; Fabrice Bouquet [France] | Building a Test-ready Abstraction of a Behavioral Model using CLP |
| 002C20 |
Alain Giorgetti [France] ; Ahmed Hammad [France] ; Bruno Tatibouët [France] | Using SysML for Smart Surface Modeling |
| 002C25 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Arnaud Giersch [France] | Load balancing in dynamic networks by bounded delays asynchronous diffusion |
| 002C44 |
Roméo Courbis [France] | Rewriting Approximations For Properties Verification Over CCS Specifications |
| 002C48 |
Adrian Caciula [France] ; Roméo Courbis [France] ; Violeta Felea [France] ; Pierre-Cyrille Heam [France] ; Rasvan Ionescu [France] | Une approche parallèle et distribuée pour la complétion d'automates d'arbre |
| 002C52 |
Pierre-Christophe Bué [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] ; Fabrice Bouquet [France] | Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions |
| 002C53 |
Roméo Courbis [France] ; Pierre-Cyrille Heam [France] ; Pierre Jourdan [France] ; Olga Kouchnarenko [France] | Approximations par réécriture pour deux problèmes indécidables |
| 002D08 |
Sahbi Sidhom [France] ; Malek Ghenima [Tunisie] ; Philippe Lambert [France] | Systèmes d'information et Intelligence économique : enjeux et perspectives |
| 002D34 |
Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Satisfiability of General Intruder Constraints with and without a Set Constructor |
| 002D54 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Pascal Chatonnay [France] ; Christelle Bloch [France] | A study of performance on crossover and mutation operators for vehicle routing problem |
| 002D58 |
Fabrice Bouquet [France] ; Pierre-Christophe Bué [France] ; Jacques Julliand [France] ; Pierre-Alain Masson [France] | Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests |
| 002D69 |
Pierre-Christophe Bué [France] ; Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] | Model-Based Testing using Symbolic Animation and Machine Learning |
| 002D71 |
Siva Anantharaman [France] ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch [France] | Cap Unification: Application to Protocol Security modulo Homomorphic Encryption |
| 002D75 |
Alain Giorgetti [France] ; Claude Marché [France] ; Elena Tushkanova [France] ; Olga Kouchnarenko [France] | Specifying Generic Java Programs: two case studies |
| 002E78 |
Pierre-Cyrille Heam [France] ; Cyril Nicaud [France] ; Sylvain Schmitz [France] | Parametric Random Generation of Deterministic Tree Automata |
| 002E89 |
Cindy Cappelle [France] ; Maan El Badaoui El Najjar [France] ; Denis Pomorski [France] ; François Charpillet [France] | Intelligent Geolocalization in Urban Areas Using Global Positioning Systems, Three-Dimensional Geographic Information Systems, and Vision |
| 002E95 |
Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France] | Efficient Decision Tree for Protocol Analysis in Intrusion Detection |
| 002F01 |
Liu Jing ; Laurent Vigneron [France] | Design and Verification of a Non-repudiation Protocol Based on Receiver-Side Smart Card |
| 002F03 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding security properties for cryptographic protocols. Application to key cycles. |
| 002F05 |
Fahima Cheikh [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Composition of Services with Constraints |
| 002F06 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Component Simulation-based Substitutivity Managing QoS and Composition Issues |
| 002F08 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator |
| 003021 |
Irawati Lemonnier [France] ; Cédric Baumann [France] ; Damien Jolly [France] ; Patrick Arveux [France] ; Marie-Christine Woronoff-Lemsi [France] ; Michel Velten [France] ; Francis Guillemin [France] | Solitary pulmonary nodules: consequences for patient quality of life |
| 003083 |
Marc Sauget [France] ; Rémy Laurent [France] ; Julien Henriet [France] ; Michel Salomon [France] ; Régine Gschwind [France] ; Sylvain Contassot-Vivier [France] ; Libor Makovicka [France] ; Charles Soussen [France] | Efficient Domain Decomposition for a Neural Network Learning Algorithm, Used for the Dose Evaluation in External Radiotherapy |
| 003190 |
Frédéric Fondement [France] ; P-A. Muller [France] ; Brice Wittmann [France] ; Fabrice Ambert [France] ; Fabrice Bouquet [France] ; Jonathan Lasalle [France] ; Emilie Oudot [France] ; Fabien Peureux [France] ; Bruno Legeard [France] ; M. Alter [France] ; C. Scherrer [France] | VETESS : IDM, Test et SysML |
| 003213 |
Pierre-Cyrille Héam [France] ; Vincent Hugot [France] ; Olga Kouchnarenko [France] | {SAT} Solvers for Queries over Tree Automata with Constraints |
| 003226 |
Stefan Ciobaca [France] ; Véronique Cortier [France] | Protocol composition for arbitrary primitives. |
| 003240 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Modeling and Verifying Ad Hoc Routing Protocols. |
| 003255 |
Omar Chebaro [France] ; Nikolaï Kosmatov [France] ; Alain Giorgetti [France] ; Jacques Julliand [France] | Combining Static Analysis and Test Generation for {C} Program Debugging |
| 003259 |
Pierre-Alain Masson [France] ; Marie-Laure Potet [France] ; Jacques Julliand [France] ; Régis Tissot [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] ; Eddie Jaffuel ; Boutheina Chetali [France] ; June Andronick ; Amal Haddad [France] | An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project |
| 003317 |
Christophe Ringeissen [France] | Equational reasoning and combination methods: from programs to proofs |
| 003325 |
Véronique Cortier [France] | Analysis of cryptographic protocols: from symbolic to computational models |
| 003327 |
Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Hassan Mountassir [France] | Politiques d'adaptation pour la reconfiguration du composant de localisation |
| 003329 |
Pierre-Cyrille Heam [France] | Finite Automata for Software Realiability and Reachability Analyses |
| 003369 |
Frédéric Dadeau [France] ; Régis Tissot [France] | jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines |
| 003371 |
Frédéric Dadeau [France] ; Pierre-Cyrille Héam [France] ; Jocelyn Levrey [France] | On the Use of Uniform Random Generation of Automata for Testing |
| 003374 |
Elena Tushkanova [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Specifying and Proving a Sorting Algorithm |
| 003378 |
Olga Kouchnarenko [France] ; Natalia Sidorova ; Nikola Trcka | Petri Nets with May/Must Semantics |
| 003382 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | How to Tackle Integer Weighted Automata Positivity |
| 003387 |
Véronique Cortier [France] ; Graham Steel [France] | A Generic Security API for Symmetric Key Management on Cryptographic Devices |
| 003388 |
Asma Cherif [France] ; Abdessamad Imine [France] | Undo-Based Access Control for Distributed Collaborative Editors |
| 003404 |
Najah Chridi [France] | Contributions to the automatic verification of group protocols. |
| 003410 |
Serge Burckel [France] ; Emeric Gioan [France] ; Emmanuel Thomé [France] | Mapping Computation with No Memory |
| 003434 |
Abdessamad Imine [France] ; Asma Cherif [France] ; Michael Rusinowitch [France] | A Flexible Access Control Model for Distributed Collaborative Editors |
| 003486 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Modeling and Verifying Ad Hoc Routing Protocol |
| 003487 |
Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists |
| 003488 |
Véronique Cortier [France] ; Stéphanie Delaune [France] | A method for proving observational equivalence |
| 003506 |
Roméo Courbis [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | TAGED Approximations for Temporal Properties Model-Checking |
| 003513 |
Mathieu Baudet ; Véronique Cortier [France] ; Stéphanie Delaune [France] | YAPA: A generic tool for computing intruder knowledge |
| 003522 |
Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France] | Graph Based Reduction of Program Verification Conditions |
| 003555 |
Abdessamad Imine [France] | Coordination Model for Real-Time Collaborative Editors |
| 003556 |
Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | On Model-Checking Optimistic Replication Algorithms |
| 003643 |
Bruno Legeard [France] ; Fabrice Bouquet [France] ; Pickaert Natacha [France] | Industrialiser le test fonctionnel |
| 003644 |
Frédéric Dadeau [France] ; Amal Haddad [France] ; Thierry Moutet [France] | Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès |
| 003666 |
Stéphane Debricon [France] ; Fabrice Bouquet [France] ; Bruno Legeard [France] | From Business Processes to Integration Testing |
| 003684 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003687 |
Véronique Cortier [France] ; Claude Kirchner [France] ; Mitsuhiro Okada [Japon] ; Hideki Sakurada [Japon] | Formal to practical Security |
| 003692 |
Pascal Cuxac [France] ; Alain Lelu [France] ; Martine Cadot [France] | Suivi incrémental des évolutions dans une base d'information indexée : une boucle évaluation / correction pour le choix des algorithmes et des paramètres. |
| 003705 |
Martine Cadot [France] ; Alain Lelu [France] | Massive Pruning for Building an Operational Set of Association Rules: Metarules for Eliminating Conflicting and Redundant Rules. |
| 003713 |
Alain Lelu [France] ; Martine Cadot [France] | Graphes des liens et anti-liens statistiquement valides entre les mots d'un corpus textuel |
| 003714 |
Frédéric Dadeau [France] | Génération automatique de tests à partir de patrons de propriétés |
| 003741 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 003768 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Non Left-Linear Rules When Completing Tree Automata |
| 003779 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] | Corrections to "basins of attraction in fully asynchronous discrete-time discrete-state dynamic networks" |
| 003783 |
Vincent Pretre [France] ; Adrien De Kermadec [France] ; Fabrice Bouquet [France] ; Christophe Lang [France] ; Frédéric Dadeau [France] | Automated UML models merging for web services testing |
| 003784 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] | An incremental learning algorithm for functional approximation |
| 003873 |
Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003960 |
Jérôme Simonin [France] ; Noëlle Carbonell [France] | Enhancements to Online Help: Adaptivity and Embodied Conversational Agents |
| 003A24 |
Christophe Denis [Royaume-Uni] ; Raphael Couturier [France] ; Fabienne Jézéquel [France] | A Sparse Linear System Solver Used in a Distributed and Heterogenous Grid Computing Environment |
| 003B91 |
Olivier Simonin [France] ; Olivier Grunder [France] | A cooperative multi-robot architecture for moving a paralyzed robot |
| 003C22 |
Pierre De Saqui-Sannes [France] ; Thierry Villemur [France] ; Benjamin Fontan [France] ; Sara Del Socorro Mota Gonzalez [France] ; Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Laurent Vigneron [France] | UML Modeling and Formal Verification of Secure Group Communication Protocols |
| 003C32 |
Véronique Cortier [France] ; Graham Steel [France] | Synthesising Secure APIs |
| 003C40 |
Mumtaz Ahmad [France] ; Serge Burckel [France] ; Adam Cichon [France] | Sequential decomposition of operations and compilers optimization |
| 003C42 |
Pierre-Cyrille Heam [France] ; Cyril Nicaud [France] | Seed: an easy to use random generator of recursive data structures for testing |
| 003C44 |
Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France] | Safe and Efficient Strategies for Updating Firewall Policies |
| 003C46 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] | Rewrite based Verification of XML Updates |
| 003C81 |
Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France] | Deciding knowledge in security protocols under some e-voting theories |
| 003C83 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Data Structures with Arithmetic Constraints: a Non-Disjoint Combination |
| 003C86 |
Yannick Chevalier [France] ; Michael Rusinowitch [France] | Compiling and securing cryptographic protocols |
| 003C88 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 003D03 |
Abdessamad Imine [France] ; Asma Cherif [France] ; Michaël Rusinowitch [France] | An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors |
| 003D08 |
Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michael Rusinowitch [France] ; Radu State [France] | Abusing SIP authentication |
| 003D12 |
Véronique Cortier [France] ; Steve Kremer [France] ; Bogdan Warinschi [Royaume-Uni] | A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems |
| 003D38 |
Walid Belkhir [France] | Algebra and Combinatorics of Parity Games |
| 003D47 |
Alain Lelu [France] | Visualiser les textes et les mots : approches numériques, approches par les graphes |
| 003D74 |
Eric Monfroy ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Dynamic Web Services Provisioning with Constraints |
| 003D83 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Computational soundness of observational equivalence |
| 003E44 |
Michel Zitt [France] ; Elise Bassecoulard [France] ; Alain Lelu [France] | Hybrid maps of scientific fields: an application to nanosciences |
| 003E65 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Left-Quadratic Rules When Completing Tree Automata |
| 003E66 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Component Simulation-based Substitutivity Managing QoS Aspects |
| 003E68 |
Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michaël Rusinowitch [France] ; Radu State [France] | Abusing SIP Authentication |
| 003E69 |
Frédéric Dadeau [France] ; Julien Lamboley [France] ; Thierry Moutet [France] ; Marie-Laure Potet [France] | A Verifiable Conformance Relationship between Smart Card Applets and B security Models |
| 003E71 |
Frédéric Dadeau [France] ; Régis Tissot [France] ; Marie-Laure Potet [France] | A B Formal Framework for Security Developments in the Domain of Smart Card Applications |
| 003E72 |
Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003E88 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Mediator Based Approach For Services Composition |
| 003F06 |
Najah Chridi [France] ; Mathieu Turuani [France] ; Michael Rusinowitch [France] | Towards a Constrained-based Verification of Parameterized Cryptographic Protocols |
| 003F07 |
Yohan Boichut [France] ; Roméo Courbis [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Finer is better: Abstraction Refinement for Rewriting Approximations |
| 003F13 |
Yannick Chevalier [France] ; Mohammed Anis Mekki [France] ; Michael Rusinowitch [France] | Automatic Composition of Services with Security Policies |
| 003F31 |
Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles using CSP||B |
| 003F40 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Computational soundness of observational equivalence |
| 003F43 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] ; Aurélien Vasseur [France] | A Parallel Incremental Learning Algorithm for Neural Networks with Fault Tolerance |
| 003F73 |
Abdessamad Imine [France] | Flexible Concurrency Control for Real-Time Collaborative Editors |
| 003F77 |
Abdessamad Imine [France] | Decentralized concurrency control for real-time collaborative editors |
| 003F93 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France] | An efficient and robust decentralized algorithm for detecting the global convergence in asynchronous iterative algorithms |
| 003F94 |
Siva Anatharaman [France] ; Hai Lin ; Chris Lynch ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Active Intruders with Caps |
| 004013 |
Drago Matko ; Gregor Klancar ; Saso Blazic ; Olivier Simonin [France] ; Franck Gechter ; Jean-Michel Contet [France] ; Pablo Gruer | The Application of Reference-path Control to Vehicle Platoons |
| 004020 |
Mathieu Loiseau [France] ; Myriam Abouzaïd [France] ; Laurence Buson [France] ; Bannour Rachid [France] ; Florinela Comanescu [France] ; Darline Cothière-Robert [France] ; Tatiana El-Khoury [France] ; Antoine Gautier [France] ; Rose-Marie Gerbe [France] ; Mathilde Gonçalves [Portugal] ; Florencia Miranda [Portugal] ; Vannina Goossens [France] ; Cécile Lux [France] ; Iuliana-Anca Mateiu [Roumanie] ; Séverine Morange [France] ; Stéphane Mortreux [France] ; Hiroko Noda [France] ; Sabrina Rasom [Italie] ; Aude Rebotier [France] ; Darine Saïdi [France] ; Carmen Scarlat [France] ; Jennifer Sullivan [Irlande (pays)] ; Christian Surcouf [Suisse] ; Inka Wissner [Allemagne] ; Caroline Cance [France] ; Émilie Cousin [France] ; Hélène Delage [France] ; Anaïg Delanoë [France] ; Gaëlle Delepaut [France] ; Céline Dugua [France] ; Juliette Elie-Deschamps [France] ; Angélique Laurent [France] ; Pascale Leclercq [France] ; Silvia Nieva [Espagne] ; Katérina Palasis-Jourdan [France] ; Anita Thomas [Suède] ; Luc Biichlé [France] ; Anna Ghimenton [France] ; Jeanne Gonac'H [France] ; Aurélie Nardy [France] ; Nathaël Martin [France] ; Pascale Paulin [France] ; Lerato Caroline Pooe [France] ; Séverine Rapanoël [France] ; Sofia Stratilaki [France] ; Maria Zerva [France] ; Dominique Anctil [Canada] ; Évelyne Berger [Suisse] ; Jocelyne Cussac Pomel [France] ; Geneviève Garcia Bourgade [France] ; Juliette Delahaie [France] ; Ali Djaroun [France] ; Bernadette Kervyn [Belgique] ; Sophie Anquetil [France] ; Magdalena Augustyn [France] ; Sabrina Ben Hamou [France] ; Gwendoline Bloquet [France] ; Fanny Rinck [France] ; Cécile Frérot [France] ; Amélie Josselin-Leray [France] ; Anne-Laure Jousse [Canada] ; Bárbara Razola Mayor [France] ; Fabienne Venant [France] ; Antoine Widlöcher [France] ; Frédérik Bilhaut [France] | Autour des langues et du langage |
| 004032 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Christelle Bloch [France] ; Pascal Chatonnay [France] | Nouvelle approche pour classifier les problèmes de tournées de véhicules |
| 004043 |
Emeric Gioan [France] ; Serge Burckel [France] | In Situ Design of Register Operations |
| 004062 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Christelle Bloch [France] ; Pascal Chatonnay [France] | Classification de problèmes de tournées de véhicules |
| 004083 |
Haj Rachid [France] ; Wahiba Ramdane Cherif [France] ; Christelle Bloch [France] ; Pascal Chatonnay [France] | Proposition de notation pour les problèmes de tournées |
| 004119 |
Daniele Zucchelli [France] | Combination Methods for Verification Problems |
| 004140 |
Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
| 004143 |
Alain Giorgetti [France] ; Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of class liveness properties with Java modeling language |
| 004144 |
Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France] | Tree automata with equality constraints modulo equational theories |
| 004145 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004179 |
Vincent Hilaire [France] ; Pablo Gruer [France] ; Abder Koukam [France] ; Olivier Simonin [France] | Formal driven prototyping approach for multiagent systems |
| 004188 |
Yannick Chevalier [France] ; Ralf Kuesters ; Michael Rusinowitch [France] ; Mathieu Turuani [France] | Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption |
| 004200 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] | A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations |
| 004201 |
Pierre-Cyrille Héam [France] | A Note on Partially Ordered Tree Automata |
| 004425 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France] | An Efficient and Robust Decentralized Algorithm for Detecting the Global Convergence in Asynchronous Iterative Algorithms |
| 004432 |
Jacques M. Bahi [France] ; Sylvain Contassot-Vivier [France] ; Marc Sauget [France] ; Aurélien Vasseur [France] | A Parallel Incremental Learning Algorithm for Neural Networks with Fault Tolerance |
| 004484 |
Alain Lelu [France] | La méthode de classification non-supervisée K-means axiales |
| 004520 |
Frédéric Dadeau [France] ; Régis Tissot [France] | Teaching Model-Based Testing with {L}eirios {T}est {G}enerator |
| 004526 |
Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 004542 |
Yannick Chevalier [France] ; Mounira Kourjieh [France] | On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) |
| 004563 |
Jean-François Couchot [France] ; Alain Giorgetti [France] ; Nicolas Stouls [France] | Graph-based Reduction of Program Verification Conditions |
| 004572 |
Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | Experiments in Model-Checking Optimistic Replication Algorithms |
| 004590 |
Najah Chridi [France] ; Mathieu Turuani [France] ; Michaël Rusinowitch [France] | Constraints-based Verification of Parameterized Cryptographic Protocols. |
| 004597 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Computational soundness of observational equivalence |
| 004601 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Approximation based tree regular model checking |
| 004603 |
Tarek Abbes ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France] | An inference system for detecting firewall filtering rules anomalies |
| 004614 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] | A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations |
| 004621 |
Eugen Zalinescu [France] | Security of cryptographic protocols: decidability and transfer resultats |
| 004622 |
Constantinos Makassikis [France] ; Stéphane Vialle [France] ; Xavier Warin [France] | Distribution of a Stochastic Control Algorithm Applied to Gas Storage Valuation |
| 004624 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004632 |
Véronique Cortier [France] ; Jérémie Delaitre [France] ; Stéphanie Delaune [France] | Safely Composing Security Protocols |
| 004636 |
Heinrich Hördegen [France] | Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats --- Etude des protocoles récursifs |
| 004717 |
Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding knowledge in security protocols for monoidal equational theories. |
| 004753 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthetizing secure protocols |
| 004761 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Combining algorithms for deciding knowledge in security protocols |
| 004764 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
| 004838 |
Samir Chouali [France] ; Samuel Colin [France] ; Ahmed Hammad [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] ; Hassan Mountassir [France] ; Jeanine Souquières [France] | Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 |
| 004842 |
Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding knowledge in security protocols for monoidal equational theories. |
| 004843 |
Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding key cycles for security protocols. |
| 004847 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring. |
| 004848 |
Véronique Cortier [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [Royaume-Uni] | A Cryptographic Model for Branching Time Security Properties -- the Case of Contract Signing Protocols. |
| 004860 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France] | Intruders with Caps |
| 004869 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | How to Handle QoS Aspects in Web Services Substitutivity Verification |
| 004870 |
Sergio Nogueira [France] ; Jean-Michel Contet [France] ; Yassine Ruichek [France] ; Franck Gechter [France] | Wifi based remote control system with video feedback for intelligent vehicles |
| 004874 |
Sergio Nogueira [France] ; Yassine Ruichek [France] ; François Charpillet [France] | Fuzzy reasoning based vehicle road line following |
| 004880 |
Eric Descourvières [France] ; Stéphane Debricon [France] ; Dominique Gendreau [France] ; Philippe Lutz [France] ; Laurent Philippe [France] ; Fabrice Bouquet [France] | Towards automatic control for microfactories. |
| 004907 |
Christophe Reffay [France] ; Thierry Chanier [France] ; Nikolaos Avouris [Grèce] ; Laurent Romary [France] | Symposium Corpus d'apprentissage en ligne : Conception, réutilisation, échange |
| 004917 |
Martine Cadot [France] ; Pascal Cuxac [France] ; Alain Lelu [France] | Random simulations of a datatable for efficiently mining reliable and non-redundant itemsets |
| 004934 |
Sergio Nogueira [France] ; Yassine Ruichek [France] | A new B-Spline based active contour approach |
| 004935 |
Stefano Rosso ; Roberto Zanetti ; Maria José Sánchez ; Adoraci N Nieto ; Ana Miranda [Portugal] ; Mariette Mercier [France] ; Dora Loria ; Anne Sterlind ; Rüdiger Greinert ; Maria-Dolores Chirlaque ; Gabriella Fabbrocini ; Cesare Barbera ; Hélène Sancho-Garnier ; Carmela Lauria ; Daniela Balzi ; Marina Zoccola ; Non Renseigné | Is 2,3,5-pyrroletricarboxylic acid in hair a better risk indicator for melanoma than traditional epidemiologic measures for skin phenotype? |
| 004945 |
Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France] | Intruders with Caps |
| 004992 |
Véronique Cortier [France] ; Keighren Gavin [Royaume-Uni] ; Graham Steel [Royaume-Uni] | Automatic Analysis of the Security of XOR-based Key Management Schemes. |
| 004994 |
Duc-Khanh Tran [France] | Conception de Procédures de Décision par Combinaison et Saturation |
| 004A06 |
Alain Giorgetti [France] ; Julien Groslambert [France] | Un programme annoté en vaut deux |
| 004A10 |
Martine Cadot [France] ; Alain Lelu [France] | Simuler et épurer pour extraire les motifs sûrs et non redondants |
| 004A13 |
Fabrice Bouquet [France] ; Jean-François Couchot [France] ; Frédéric Dadeau [France] ; Alain Giorgetti [France] | Instantiation of Parameterized Data Structures for Model-Based Testing |
| 004A28 |
François Charpillet [France] ; Fabrice Lauri [France] | Optimation par colonies de fournis d'un essaim de patrouilleurs pour la surveillance de zone |
| 004A41 |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
| 004C07 |
J. Fénix [Suisse] ; J. C. Sagot [France] ; C. Valot [France] ; S. Gomes [France] | Operator centred design: example of a new driver aid system in the field of rail transport |
| 004C51 |
Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-Based Systems |
| 004D59 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Vérifier automatiquement les protocoles de sécurité |
| 004D70 |
Jean Renaud [France] ; Brigitte Chebel-Morello [France] ; Béatrice Fuchs [France] ; Jean Lieber [France] | Raisonnement à partir de cas 2. Surveillance, diagnostic et maintenance. |
| 004D71 |
Jean Renaud [France] ; Brigitte Chebel-Morello [France] ; Béatrice Fuchs [France] ; Jean Lieber [France] | Raisonnement à partir de cas 1. Conception et Configuration de produits. |
| 004E14 |
Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] | Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives |
| 004E15 |
Pierre-Cyrille Héam [France] | Transitive Closures of Semi-commutation Relations on Regular omega-Languages |
| 004E19 |
Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France] ; Jérôme Voinot [France] | Towards Formalizing QoS of Web Services with Weighted Automata |
| 004E20 |
Yannick Chevalier [France] ; Denis Lugiez [France] ; Michael Rusinowitch [France] | Toward an Automatic Analysis of Web Service Security |
| 004E26 |
Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] ; Eugen Zalinescu [France] | Synthesizing secure protocols |
| 004E28 |
Laurent Vigneron [France] ; Najah Chridi [France] | Strategy for Flaws Detection based on a Services-driven Model for Group Protocols |
| 004E39 |
Véronique Cortier [France] ; Jérémie Delaitre [France] ; Stéphanie Delaune [France] | Safely composing security protocols |
| 004E49 |
Jacques Bahi [France] ; Sylvain Contassot-Vivier [France] ; Raphaël Couturier [France] | Parallel Iterative Algorithms: from sequential to grid computing |
| 004E76 |
Zalinescu Eugen [France] ; Véronique Cortier [France] ; Bogdan Warinschi [Royaume-Uni] | From passive to active security via a simple transformation |
| 004E87 |
Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Combining algorithms for deciding knowledge in security protocols |
| 004E89 |
Francis Klay [France] ; Judson Santiago [Brésil] ; Laurent Vigneron [France] | Automatic Methods for Analyzing Non-Repudiation Protocols with an Active Intruder |
| 004E92 |
Sergio Nogueira [France] ; Yassine Ruichek [France] ; Franck Gechter [France] ; Abderrafiaa Koukam [France] ; François Charpillet [France] | An artificial vision based environment perception system |
| 004F01 |
Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Methodology For Web Services Composition |
| 004F03 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Graham Steel [Royaume-Uni] | A Formal Theory of Key Conjuring |
| 004F12 |
Martine Cadot [France] | Extraction of Complex Relations in Humanistic : Statistics, Itemsets and Association Rules |
| 004F30 |
Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kuesters [Suisse] ; Bogdan Warinschi [France] | Computationally Sound Symbolic Secrecy in the Presence of Hash Functions |
| 004F38 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 004F39 |
Gérald Oster [Suisse] ; Pascal Molli [France] ; Pascal Urso [France] ; Abdessamad Imine [France] | Tombstone Transformation Functions for Ensuring Consistency in Collaborative Editing Systems |
| 004F50 |
Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Data Consistency for P2P Collaborative Editing |
| 004F55 |
Véronique Cortier [France] ; Eugen Zalinescu [France] | Deciding key cycles for security protocols |
| 004F93 |
Najah Chridi [France] ; Laurent Vigneron [France] | Strategy for Flaws Detection based on a Services-driven Model for Group Protocols |
| 005019 |
Véronique Cortier [France] | Verification of cryptographic protocols: techniques and link to cryptanalysis |
| 005021 |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
| 005023 |
Véronique Cortier [France] ; Heinrich Hoerdegen [France] ; Bogdan Warinschi [France] | Explicit Randomness is not Necessary when Modeling Probabilistic Encryption |
| 005025 |
Charu Arora [France] ; Mathieu Turuani [France] | Adding Integrity to the Ephemerizer's Protocol |
| 005042 |
Mathieu Turuani [France] | The CL-Atse Protocol Analyser |
| 005043 |
Yohan Boichut [France] ; Thomas Genet [France] | Feasible Trace Reconstruction for Rewriting Approximations |
| 005044 |
Max Tuengerthal [Allemagne] ; Ralf Küsters [Allemagne] ; Mathieu Turuani [France] | Implementing a Unification Algorithm for Protocol Analysis with XOR |
| 005049 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] | Automated Boundary Test Generation from JML Specifications |
| 005053 |
Véronique Cortier [France] ; Graham Steel [Royaume-Uni] | On the Decidability of a Class of XOR-based Key-management APIs |
| 005068 |
Yassine Lakhnech [France] ; Laurent Mazare [France] ; Bogdan Warinschi [France] | Soundness of Symbolic Equivalence for Modular Exponentiation |
| 005069 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Arnab Roy [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] ; Bogdan Warinschi [France] | Computationally Sound Compositional Logic for Security Protocols |
| 005131 |
Alain Lelu [France] ; Martine Cadot [France] ; Pascal Cuxac [France] | Document stream clustering: experimenting an incremental algorithm and AR-based tools for highlighting dynamic trends. |
| 005133 |
Mohamed Salah Bouassida [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France] | Automatic Verification of Key Management Architecture for Hierarchical Group Protocols |
| 005170 |
Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
| 005175 |
Alain Giorgetti [France] ; Julien Groslambert [France] | JAG: JML Annotation Generation for Verifying Temporal Properties |
| 005190 |
Yohan Boichut [France] ; Nikolai Kosmatov [France] ; Laurent Vigneron [France] | Validation of Prouve Protocols using the Automatic Tool TA4SP |
| 005195 |
Judson Santos Santiago [France] ; Laurent Vigneron [France] | Automatically Analysing Non-repudiation with Authentication |
| 005223 |
Jacques Julliand [France] ; Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
| 005229 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] ; Jacques Julliand [France] | Safety Property Driven Test Generation from {JML} Specifications |
| 005261 |
Véronique Cortier [France] ; Martin Abadi [États-Unis] | Deciding knowledge in security protocols under equational theories. |
| 005265 |
Carole Bernon [France] ; Vincent Chevrier [France] ; Vincent Hilaire [France] ; Paul Marrow [Royaume-Uni] | Applications of Self-Organising Multi-Agent Systems: An Initial Framework for Comparison |
| 005268 |
Vincent Chevrier [France] ; Franck Gechter [France] ; François Charpillet [France] | A Reactive Agent-Based Solving Model : Application to Localization and Tracking |
| 005328 |
Jacques Julliand [France] ; Jeanine Souquières [France] | Editorial |
| 005581 |
Guillaume J. Laurent [France] ; Emmanuel Piat [France] | Apprentissage par renforcement dans le cadre des processus décisionnels de Markov factorisés observables dans le désordre : Étude expérimentale du Q-Learning parallèle appliqué aux problèmes du labyrinthe et du New York Driving |
| 005593 |
Thomas Bangemann [Allemagne] ; Xavier Rebeuf [France] ; Denis Reboul [France] ; Andreas Schulze [Allemagne] ; Jacek Szymanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron [Allemagne] ; Noureddine Zerhouni [France] | PROTEUS : Creating distributed maintenance systems through an integration platform |
| 005641 |
Najah Chridi [France] ; Laurent Vigneron [France] | Sécurité des communications de groupe |
| 005643 |
Véronique Cortier [France] | Sécuriser les réseaux, les protocoles cryptographiques |
| 005658 |
Véronique Cortier [France] | Protocoles cryptographiques : analyse par méthodes formelles |
| 005661 |
Olivier Servas [France] ; Nicole Dausque [France] ; Anne Facq [France] ; Françoise Gazelle [France] ; Gabrielle Feltin [France] | Pourquoi et Comment Adapter une Politique de Sécurité pour les Entités du CNRS. |
| 005674 |
Alain Giorgetti [France] ; Julien Groslambert [France] | JAG : Génération d'annotations JML pour vérifier des propriétés temporelles |
| 005691 |
Véronique Cortier [France] | Divers protocoles couramment utilisés en informatique |
| 005698 |
Véronique Cortier [France] | Ces protocoles qui nous protègent |
| 005707 |
Julien Groslambert [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | {JML}-based Verification of Liveness Properties on a Class in isolation |
| 005732 |
Eugen Zalinescu [France] ; Véronique Cortier [France] ; Michaël Rusinowitch [France] | Relating two Standard Notions of Secrecy |
| 005754 |
Siva Anantharaman [France] ; Gaétan Hains [France] ; Michael Rusinowitch [France] ; Paul Gastin [France] ; John Mullins [Canada] | Journal of Automata, Languages and Combinatorics, Vol. 11(1) |
| 005761 |
Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
| 005762 |
Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
| 005765 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Handling Algebraic Properties in Automatic Analysis of Security Protocols |
| 005774 |
Véronique Cortier [France] ; Heinrich Hördegen [France] ; Bogdan Warinschi [France] | Explicit Randomness is not Necessary when Modeling Probabilistic Encryption |
| 005804 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users |
| 005821 |
Véronique Cortier [France] ; Stéphanie Delaune [France] ; Pascal Lafourcade [France] | A Survey of Algebraic Properties Used in Cryptographic Protocols |
| 005863 |
Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Edition collaborative sur réseau pair-à-pair à large échelle |
| 005866 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] | How Symbolic Animation can help designing an Efficient Formal Model |
| 005881 |
Mathieu Turuani [France] | Analysis of Contract Signing Protocols |
| 005887 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operation Transformation |
| 005890 |
Najah Chridi [France] ; Laurent Vigneron [France] | Modélisation des propriétés de sécurité de protocoles de groupe |
| 005892 |
Judson Santos Santiago [France] ; Laurent Vigneron [France] | Study for Automatically Analysing Non-repudiation |
| 005914 |
Mathieu Turuani [France] ; Hoan Vu-Van [France] | Validation of the ASW Contract Signing Protocol |
| 005928 |
Sergio Nogueira [France] ; Franck Gechter [France] ; Yassin Ruichek [France] ; Abder Koukam [France] ; François Charpillet [France] | Environment perception for vehicle autonomous navigation in urban areas |
| 005967 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic Polynomial-time Semantics for a Protocol Security Logic |
| 005976 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France] | Symbolic Animation of JML Specifications |
| 005977 |
Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France] | Computationally Sound Implementations of Equational Theories against Passive Adversaries |
| 005978 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] | Using Constraint Logic Programming for the Symbolic Animation of Formal Models |
| 005979 |
Alessandro Armando [Italie] ; David Basin [Suisse] ; Yohan Boichut [France] ; Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] ; Jacopo Mantovani [Italie] ; Sebastian Mödersheim [Suisse] ; David Von Oheimb [Allemagne] ; Michaël Rusinowitch [France] ; Judson Santos Santiago [France] ; Luca Vigano [Suisse] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | The AVISPA Tool for the automated validation of internet security protocols and applications |
| 005983 |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | A resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures |
| 005993 |
Michael Backes [Suisse] ; Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Mathieu Turuani [France] | Compositional Analysis of Contract Signing Protocols |
| 005A16 |
Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under (many more) equational theories |
| 005A57 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Bruno Legeard [France] ; Marc Utting [France] | JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP |
| 005A58 |
Véronique Cortier [France] ; Bogdan Warinschi | Computationally Sound, Automated Proofs for Security Protocols |
| 005A59 |
Fabrice Bouquet [France] ; Frédéric Dadeau [France] ; Julien Groslambert [France] | Checking JML Specifications with B Machines |
| 005A63 |
Laurent Vigneron [France] | Proceedings of the 19th International Workshop on Unification |
| 005C23 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Tree automata with one memory, set constraints and cryptographic protocols |
| 006182 |
A. Armando [Italie] ; D. Basin [Suisse] ; Y. Boichut [France] ; Y. Chevalier [France] ; L. Compagna [Italie] ; J. Cuellar [Allemagne] ; P. Hankes Drielsma [Suisse] ; P. C. Heám [France] ; O. Kouchnarenko [France] ; J. Mantovani [Italie] ; S. Mödersheim [Suisse] ; D. Von Oheimb [Allemagne] ; M. Rusinowitch [France] ; J. Santiago [France] ; M. Turuani [France] ; L. Vigan [Suisse] ; L. Vigneron [France] | The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications |
| 006389 |
Véronique Cortier [France] | Vérifier les protocoles cryptographiques |
| 006395 |
Laurent Vigneron [France] | Un outil d'aide à la conception de protocoles cryptographiques |
| 006456 |
Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France] | Tree Automata with Equality Constraints Modulo Equational Theories |
| 006476 |
Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Real time group editors without Operational transformation |
| 006480 |
Gérald Oster [Suisse] ; Pascal Urso [France] ; Pascal Molli [France] ; Abdessamad Imine [France] | Proving correctness of transformation functions in collaborative editing systems |
| 006489 |
Gérald Oster [France] ; Pascal Urso [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Optimistic Replication for Massive Collaborative Editing |
| 006543 |
Yannick Chevalier ; Michaël Rusinowitch [France] | Combining Intruder Theories |
| 006550 |
Yohan Boichut [France] ; Pierre-Cyrille Héam [France] ; Olga Kouchnarenko [France] | Automatic Verification of Security Protocols Using Approximations |
| 006557 |
Véronique Cortier [France] ; Xavier Goaoc [France] ; Mira Lee [Corée du Sud] ; Hyeon-Suk Na [Corée du Sud] | A note on maximally repeated sub-patterns of a point set |
| 006626 |
Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | Deciding the Security of Protocols with Commuting Public Key Encryption. |
| 006631 |
Laurent Vigneron [France] | Automatic Verification of Security Protocols |
| 006633 |
Yannick Chevalier [France] | A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or |
| 006641 |
Gérald Oster [France] ; Pascal Molli [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Un modèle sûr et générique pour la synchronisation de données divergentes |
| 006645 |
Yannick Chevalier [France] ; Laurent Vigneron [France] | Rule-based Programs describing Internet Security Protocols |
| 006653 |
Tarek Abbes [France] ; Michaël Rusinowitch [France] | Fast Multipattern Matching for Intrusion Detection |
| 006661 |
Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France] | Protocol Analysis in Intrusion Detection Using Decision Tree |
| 006749 |
Hubert Comon-Lundh [France] ; Véronique Cortier [France] | Security properties: two agents are sufficient |
| 006D75 |
Xavier Rebeuf [France] ; Nicolas Blanc [France] ; François Charpillet [France] ; Denis Chevé [France] ; Alain Dutech [France] ; Christophe Lang [France] ; Loïc Pélissier [France] ; Jean-Pierre Thomesse [France] | Proteus, des web services pour les systèmes de maintenance |
| 006E32 |
Calogero G. Zarba [France] | C-tableaux |
| 006E48 |
Jacek Szymanski [France] ; Mario Thron [Allemagne] ; Jean-Pierre Thomesse [France] ; Xavier Rebeuf [France] ; Christophe Lang [France] | Web Service Driven Integration Platform for Industrial Maintenance Oriented Applications |
| 006E50 |
Françoise Bellegarde [France] ; Julien Groslambert [France] ; Marieke Huisman [France] ; Jacques Julliand [France] ; Olga Kouchnarenko [France] | Verification of Liveness Properties with JML |
| 006E80 |
Yannick Chevalier [France] ; Laurent Vigneron [France] | Strategy for Verifying Security Protocols with Unbounded Message Size |
| 006E87 |
Deepak Kapur ; Laurent Vigneron [France] | Special issue on First-Order Theorem Proving of the Journal of Automated Reasoning |
| 006F46 |
Tarek Abbes [France] ; Michaël Rusinowitch [France] ; Alakesh Haloi | Network Traffic Classification for Intrusion Detection |
| 006F55 |
Hervé Guyennet [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne] | Middleware for Global e-Maintenance |
| 006F95 |
Tarek Abbes [France] ; Alakesh Haloi [France] ; Michaël Rusinowitch [France] | High Performance Intrusion Detection using Traffic Classification |
| 007037 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
| 007039 |
Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
| 007040 |
Martin Abadi ; Véronique Cortier [France] | Deciding knowledge in security protocols under equational theories |
| 007044 |
Bernard Chabalier [France] ; Philippe Hubert [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron [Allemagne] | D6.3 Definition/Specification of object for the e-maintenance platform |
| 007058 |
Véronique Cortier [France] ; Bogdan Warinschi | Computationally Sound, Automated Proofs for Security Protocols |
| 007074 |
David Basin [France, Suisse] ; Michaël Rusinowitch [France] | Automated Reasoning |
| 007091 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Achieving Convergence with Operational Transformation in Distributed Groupware Systems |
| 007109 |
Yannick Chevalier [France] | A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or |
| 007121 |
Yannick Chevalier [France] ; Luca Compagna [Italie] ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [Suisse] ; Jacopo Mantovani [Italie] ; Sebastian Moedersheim [Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
| 007122 |
Yannick Chevalier [France] ; Luca Compagna ; Jorge Cuellar [Allemagne] ; Paul Hankes Drielsma [France, Suisse] ; Jacopo Mantovani ; Sebastian Moedersheim [France, Suisse] ; Laurent Vigneron [France] | A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols |
| 007124 |
Calogero G. Zarba [France] ; Domenico Cantone ; Jacob T. Schwartz | A Decision Procedure for a Fragment of Set Theory Involving Monotone, Additive, and Multiplicative Functions |
| 007125 |
Michaël Rusinowitch [France] | A Decidable Analysis of Security Protocols |
| 007130 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [États-Unis] | Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents |
| 007143 |
Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Using the Transformational Approach to Build a Safe and Generic Data Synchronizer |
| 007190 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007216 |
Tarek Abbes [France] ; Adel Bouhoula ; Michaël Rusinowitch [France] | Filtrage Efficace Pour la Détection d'Intrusions |
| 007232 |
Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP Decision Procedure for Protocol Insecurity with XOR |
| 007237 |
Abdessamad Imine [France] ; Pascal Urso [France] | Automatic Detection of Copies Divergence in Collaborative Editing Systems |
| 007434 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Pascal Urso [France] | VOTE: Group Editors Analyzing Tool |
| 007947 |
Amr Helmy Ibrahim [France] | Distance sémantique et degrés d’analogie dans les matrices analytiques définitoires |
| 007B85 |
Pascal Molli [France] ; Gérald Oster [France] ; Hala Skaf-Molli [France] ; Abdessamad Imine [France] | Safe Generic Data Synchronizer |
| 007C27 |
Thomas Bangemann ; Eric Garcia [France] ; Christophe Lang [France] ; Xavier Rebeuf [France] ; Jacek Szimanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron | PROTEUS - A European Initiative for e-maintenance platform development |
| 007C81 |
Gérard Cécé [France] ; Pierre-Cyrille Héam [France] ; Yann Mainier [France] | Efficiency of Automata in Semi-Commutation Verification Techniques |
| 007D28 |
Françoise Bellegarde ; Célina Charlet [France] ; Olga Kouchnarenko [France] | Using Acceleration to Compute Parameterized System Refinement |
| 007D55 |
Nicolas Szafran [France] ; Stéphane Despréaux [France] ; Luc Biard [France] ; Frédéric Blaise [France] | Sawing of Logs in Virtual Trees Using 3D Intersection Algorithms |
| 007D58 |
Olga Kouchnarenko [France] ; Arnaud Lanoix | Refinement and Verification of Synchronized Component-based Systems |
| 007D68 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Proving Correctness of Transformation Functions in Real-Time Groupware |
| 007E25 |
Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions |
| 007E39 |
Christophe Lang [France] ; Xavier Rebeuf [France] ; Mario Thron ; Jacek Szimanski [France] ; Bernard Chabalier [France] ; Andreas Schultz | D6.2 Requirement specifications for an integrated maintenance platform |
| 007E44 |
Julien Musset [France] ; Michaël Rusinowitch [France] | Computing Approximations of Linear Transition Systems |
| 007E70 |
Yannick Chevalier [France] ; Ralf Küsters ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] | An NP Decision Procedure for Protocol Insecurity with XOR |
| 007F04 |
Ingo Dahn ; Laurent Vigneron [France] | 4th International Workshop on First-Order Theorem Proving- FTP'2003 |
| 007F92 |
Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France] | Analyse Automatique de Protocoles de Sécurité avec CASRUL |
| 008003 |
Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France] | The AVISS Security Protocol Analysis Tool |
| 008B53 |
Imine Abdessamad [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Development of Transformation Functions Assisted by a Theorem Prover |
| 008B78 |
Frédéric Oehl ; Gérard Cécé ; Olga Kouchnarenko [France] ; David Sinclair | Automatic Approximation for the Verification of Cryptographic Protocols |
| 008B79 |
Yannick Chevalier [France] ; Laurent Vigneron [France] | Automated Unbounded Verification of Security Protocols |
| 009174 |
E. Caron [France] ; S. Chaumette [France] ; S. Contassot-Vivier [France] ; F. Desprez [France] ; E. Fleury [France] ; C. Gomez [France] ; M. Goursat [France] ; M. Quinson [France] ; E. Jeannot [France] ; D. Lazure [France] ; F. Lombard [France] ; J.-M Nicod [France] ; L. Philippe [France] ; P. Ramet [France] ; J. Roman [France] ; F. Rubi [France] ; S. Steer [France] ; F. Suter [France] ; G. Utard [France] | Scilab to Scilab//: The Ouragan project |
| 009583 |
Frédéric Desprez [France] ; Martin Quinson [France] ; Frédéric Suter [France] ; Eric Fleury [France] ; Emmanuel Jeannot [France] ; Claude Gomez [France] ; Maurice Goursat [France] ; Serge Steer [France] ; Serge Chaumette [France] ; Pierre Ramet [France] ; Jean Roman [France] ; Franck Rubi [France] ; Sylvain Contassot-Vivier [France] ; Frédéric Lombard [France] ; Jean-Marc Nicod [France] ; Laurent Philippe [France] ; Eddy Caron [France] ; Dominique Lazure [France] ; Gil Utard [France] | SCILAB to SCILAB// - The Ouragan Project |
| 009747 |
Frédéric Desprez [France] ; Eric Fleury [France] ; Emmanuel Jeannot [France] ; Frédéric Suter [France] ; Jean-Marc Nicod [France] | SCILAB to SCILAB// |
| 009798 |
Uwe Franz [France] ; Remi Leandre [France] ; Rene Schott [France] | Malliavin Calculus and Skorohod Integration for Quantum Stochastic Processes |
| 009F84 |
S. Adam [France] ; J. M. Ogier [France] ; C. Cariou [France] ; R. Mullot [France] ; J. Labiche [France] ; J. Gardes [France] | Symbol and character recognition : application to engineering drawings |
| 00A343 |
V. K. Dobrev ; H. D. Doebner ; Uwe Franz [France] ; René Schott [France] | Lévy Processes on $U_q(g)$ as Infinitely Divisible Representations |
| 00B244 |
D. Ziou ; A. Koukam [France] | Knowledge-based assistant for the selection of edge detectors |
| 00B260 |
A. Koukam [France] ; H. Fourar [France] | Combining objects and planning paradigms for human skeleton animation |
| 00BB87 |
M. Weber [France] ; M. Roussel-Delvallez [France] ; G. Laurans [France] ; T. Fosse [France] ; M. J. Dupont [France] ; R. Perez [France] ; P. Geslin [France] | Enquêtes épidémiologiques régionales sur la résistance aux antibiotiques de S. pneumoniae : résultats préliminaires de 6 Observatoires Régionaux |
| 00C002 |
S. Ballandras [France] ; M. Calin [France] ; S. Zissi [France] ; A. Bertsch [France] ; J. C. André [France] ; A. Bourjault [France] ; D. Hauden [France] | Actionneurs miniatures à alliages à mémoire de forme fabriqués par microstéréophotolithographie |
| 00D557 |
Ph Clauss [France] ; C. Mongenet [France] ; G. R Perrin [France] | Synthesis of size-optimal toroïdal arrays for the Algebraic Path Problem: A new contribution |
| 00D613 |
D. Talon [France] ; C. Vincent [France] ; J. M. Lionnet [France] ; J. F. Viel [France] ; M. Lab [France] ; Y. Michel-Briand [France] | Infections nosocomiales : détection continue des épidémies et alerte par réseau informatique |
| 00D688 |
Philippe Clauss [France] ; Catherine Mongenet [France] ; Guy-René Perrin [France] | Calculus of space-optimal mappings of systolic algorithms on processor arrays |
| 00D711 |
G.-R. Perrin [France] ; J.-P. Finance [France] | Communication relations : a paradigm for parallel program design |
| 00DA74 |
Henri Lombardi [France, États-Unis] ; Marie-Françoise Roy [France, États-Unis] | Elementary constructive theory of ordered fields |
| 00DD62 |
Christian Coffe [France] ; Yves Couteret [France] ; Fabienne Pouthier [France] ; André Peters [France] | Prevention of platelet alloimmunization |
| 00DE53 |
Jacques Julliand [France] ; Guy-René Perrin [France] | Asynchronous functional parallel programs |
| 00E597 |
Catherine Mongenet [France] ; Guy-René Perrin [France] | Synthesis of systolic arrays for inductive problems |
| 00EE25 |
J. Verdenet [France] ; J. C. Cardot [France] ; M. Baud [France] ; H. Chervet [France] ; J. Duvernoy [France] ; R. Bidet [France] | Scintigraphic image contrast-enhancement techniques: Global and local area histogram equalization |
| 00EE32 |
J. Julliand [France] ; G. R. Perrin [France] | Design and development of concurrent programs |
| 00EF02 |
J. Mouthon [France] | Structure malacologique de la rivière Aube |
